Saturated ideals obtained via restricted iterated collapse of huge cardinals
نویسنده
چکیده
A uniform method to define a (restricted iterated) forcing notion to collapse a huge cardinal to a small one to obtain models with various types of highly saturated ideals over small cardinals is presented. The method is discussed in great technical details in the first chapter, while in the second chapter the application of the method is shown on three different models: Model I with an א1-complete א2-saturated ideal over א1 that satisfies Chang’s conjecture, Model II with an א1-complete א3-saturated ideal over א3, and Model III with an א1-complete (א2, א2, א0)-saturated ideal over א1.
منابع مشابه
Dense ideals and Cardinal Arithmetic
From large cardinals we show the consistency of normal, fine, κ-complete -dense ideals on Pκ( ) for successor κ. We explore the interplay between dense ideals, cardinal arithmetic, and squares, answering some open questions of Foreman. Most large cardinals are characterizable in terms of elementary embeddings between models of set theory that have a certain amount of agreement with the full uni...
متن کاملRigid Ideals
An ideal I on a cardinal κ is called rigid if all automorphisms of P (κ)/I are trivial. An ideal is called μ-minimal if whenever G ⊆ P (κ)/I is generic and X ∈ P (μ)V [G] \ V , it follows that V [X] = V [G]. We prove that the existence of a rigid saturated μ-minimal ideal on μ+, where μ is a regular cardinal, is consistent relative to the existence of large cardinals. The existence of such an i...
متن کاملTopological Applications of Generic Huge Embeddings
In the Foreman-Laver model obtained by huge cardinal collapse, for many , <P(Ni) implies Ofi^). There are a variety of set-theoretic and topological applications, in particular to paracompactness. The key tools are generic huge embeddings and preservation via k-centred forcing. We also formulate "potent axioms" à la Foreman which enable us to transfer from N» to all cardinals. One such axiom...
متن کاملDerived Topologies on Ordinals and Stationary Reflection
We study the transfinite sequence of topologies on the ordinal numbers that is obtained through successive closure under Cantor’s derivative operator on sets of ordinals, starting form the usual interval topology. We characterize the non-isolated points in the ξ-th topology as those ordinals that satisfy a strong iterated form of stationary reflection, which we call ξ-simultaneous-reflection. W...
متن کاملSaturation Properties of Ideals in Generic Extensions
We consider saturation properties of ideals in models obtained by forcing with countable chain condition partial orderings. As sample results, we mention the following. If M[G] is obtained from a model M of GCH via any a-finite chain condition notion of forcing (e.g. add Cohen reals or random reals) then in M[G] every countably complete ideal on <o, is <o3-saturated. If "o-finite chain conditio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1987